Demorgans Theorem 2